2022 Aerospace & Electronics Systems Society Distinguished Lecturers

Asynchronous Router Specification - IEEE Aerospace and Electronics Systems Magazine

We describe the application of three formal design tools to a case study in the design of a distributed system. The case study in question involves the specification of an asynchronous message router; the three design tools are process algebra (specifically Milner’s Calculus of Communicating Systems CCS), the modal p-calculus and the Edinburgh Concurrency Workbench (CWB). We demonstrate how an ...

Digital multisignature with distinguished signing authorities - Electronics Letters

The digital multisignature is signed by group members with knowledge of multiple private keys. Two ElGamal-type efficient multisignature schemes that can combine all individual signatures into a multisignature without any data expansion have previously been proposed. However, since in these two schemes all group members sign the same message, these schemes are called multisignature schemes with...

Integrated Microsystems for 3D Magnetic Field Measurements - IEEE Aerospace and Electronics Systems Magazine

In this paper we present a portable battery-operated 3D magnetic microsystem (magnetodosimeter), intended for monitoring the workers' exposure to magnetic fields, in particular, working environments such as hospitals or physics laboratories. The proposed microsystem is based on a multi-chip module containing three equal channels for the three components of the magnetic field measurement, a micr...

Neural Networks: Implementations and Applications - IEEE Aerospace and Electronics Systems Magazine

Artificial neural networks, also called neural networks, have been used successfully in many fields including engineering, science and business. This paper presents the implementation of several neural network simulators and their applications in character recognition and other engineering areas.

What Will 2022 Look Like? The IEEE CS 2022 Report